Intuitionistic type theory - PDFSEARCH.IO - Document Search Engine

Intuitionistic type theory
Results: 42

#	Item
31	Uniform Logical Relations Edwin Westbrook Department of Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-04-06 13:26:12 Dependently typed programming Logic in computer science Type theory Proof theory Functions and mappings Function Intuitionistic type theory Lambda calculus Xi Mathematics Mathematical logic Logic
32	Intuitionistic Type Theory Per Martin-L¨of Notes by Giovanni Sambin of a series of lectures Add to Reading List Source URL: www.csie.ntu.edu.tw Language: English - Date: 2009-06-20 07:32:17 Logic in computer science Propositional calculus Type theory Proof theory Natural deduction Function Principia Mathematica First-order logic Interpretation Logic Mathematical logic Mathematics
33	Towards Observational Type Theory Thorsten Altenkirch and Conor McBride School of Computer Science and Information Technology Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Logic in computer science Type theory Entailment Metalogic Valuation Intuitionistic type theory Curry–Howard correspondence Logic Deduction Dependently typed programming
34	The intrinsic topology of a Martin-L¨of universe Mart´ın H. Escard´o February 2012, version of May 15, 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-05-15 18:09:46 Continuous function Sheaf Topological space Intuitionistic type theory Weak topology Topos Discrete space Closure Compact space Topology General topology Mathematics
35	Final year project Bertus: Implementing Observational Equality Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-09-05 05:05:27 Type theory Logic in computer science Dependently typed programming Lambda calculus Mathematical constructivism Intuitionistic type theory Proof assistant Dependent type Coq Mathematics Logic Theoretical computer science
36	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
37	Dependently Typed Programming in Agda Ulf Norell1 and James Chapman2 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-03 03:47:11 Programming language theory Data types Functional programming Functional languages Type system Agda Intuitionistic type theory Dependent type Function Software engineering Declarative programming Type theory
38	PDF Document Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2012-02-02 15:56:23 Logic Type theory Combinatory logic Intuitionistic type theory Robert Lee Constable FO Theoretical computer science Mathematical logic Logic in computer science
39	PDF Document Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-06-27 19:09:09 Computer programming Programming idioms Theoretical computer science Inductive reasoning Mathematical proofs Recursion Recursive definition Mathematical induction Intuitionistic type theory Mathematics Logic Mathematical logic
40	PDF Document Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2012-08-28 12:41:06 Logic Intuitionistic type theory Function Homotopy type theory Dependent type Interpretation Field Subtype polymorphism Lambda calculus Mathematical logic Mathematics Type theory